VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems

VERSA is a tool that assists in the algebraic analysis of real-time systems. It is based on ACSR, a timed process algebra designed to express resource-bound real-time distributed systems. VERSA supports the analysis of real-time processes through algebraic rewriting, interactive execution, and equivalence testing. This paper begins by presenting a brief overview of the process algebra ACSR, its syntax, operational semantics, and equivalence relations. VERSA'S process and command syntax, its algebraic rewrite system, and its state-based analysis features are described fully. The presentation includes examples that illustrate the salient features of ACSR, and output from sample VERSA sessions that demonstrate the application of the tool to real-time systems analysis. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-93-77. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/510 VERSA: A Tool for the Specification and Analysis of ResourceBound Real-Time Systems MS-CIS-93-77 GRASP LAB 359 DISTRIBUTED SYSTEMS LAB 34 Duncan Clarke Insup Lee Hong-liang Xie University of Pennsylvania School of Engineering and Applied Science Computer and Information Science Department Philadelphia, PA 19104-6389